Minterms, Maxterms, And Canonical Boolean Expressions